Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №49 C.34-41
Lamberov Lev D. «The concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.49-57
Kosova Ekaterina Sergeevna, Bertsun Vladimir Nikolaevich «About the first center of higher mathematical education in Siberia» // Tomsk State University Journal of Mathematics and Mechanics 2017. №46 C.102-112
Gafuanov Yaroslav Yu., Podnebesova Galina B. «The Formation of Professional ICT-Competence in Teaching Programming to Future Teachers of Informatics and IT-Experts» // Tomsk State University Journal 2020. №455 C.175-182
